signature COQLIB_STRUCTS =
sig
end

signature COQLIB =
sig
  include COQLIB_STRUCTS

  val libs : unit -> string
end